//
//  ConfigConstants.h
//  AdvPropTestsCpp
//
//  Created by Brian Bogard on 2/23/12.
//  Copyright 2012 ASU. All rights reserved.
//

#ifndef AdvPropTestsCpp_ConfigConstants_h
#define AdvPropTestsCpp_ConfigConstants_h

#include <string>

using namespace std;

namespace ConfigConstants 
{
    static const string NUMBER_OF_GRAPHS = "numberOfGraphs";
    static const string INIT_RED_SELECT = "initRedSelect";
   static const string ACTIVE_EDGE_PROB = "activeEdgeProb";
   //Shahrzad: I just added this config parameter; I have not changed the PropTesterConfig.h or PropTesterConfig.cpp
   //I also have not applied this parameter in the propagate function; it will be a small change
   static const string MAX_PROPAGATION_DIST = "maxPropagationDist";

    static const int DEFAULT_NUMBER_OF_GRAPHS = 1;
    static const int DEFAULT_INIT_RED_SELECT = 2;//100;
    static const float DEFAULT_ACTIVE_EDGE_PROB = 0.5;//0.1;
    //Shahrzad
    static const int DEFAULT_MAX_PROPAGATION_DIST = 5;
};

#endif
